检索结果

Select

1. 基于并发程序数据竞争故障的变异策略

吴俞伯, 郭俊霞, 李征, 赵瑞莲

计算机应用 2016, 36 (11): 3170-3177. DOI: 10.11772/j.issn.1001-9081.2016.11.3170

摘要（548）

PDF （1458KB）（404）

针对并发程序变异测试中并发变异算子触发数据竞争故障能力较低的问题，提出了基于数据竞争故障的变异策略。从并发变异算子设计的角度给出了面向锁对象的变异策略（LMS）和面向共享变量的变异策略（SMS），设计了重置同步锁（SLRO）和移出共享变量操作（MSVO）两个并发变异算子。从变异点选取的角度给出了一种同步关系对变异点选取策略（SMPSS）。在12个Java类库并发程序上，应用SLRO和MSVO算子针对SMPSS选取出的变异点植入故障，生成变异体，并使用JPF检测工具，检测生成的变异体引发数据竞争故障的能力。实验结果表明，新设计的SLRO和MSVO变异算子对12个被测程序分别生成了121和122个有效变异体，变异算子的有效性分别为95.28%和99.19%。由此可知，新设计的并发变异算子能有效触发数据竞争故障。

参考文献 | 相关文章 | 多维度评价

Select

2. 基于全同步对覆盖的线程调度序列生成方法

石存沣, 李征, 郭俊霞, 赵瑞莲

计算机应用 2015, 35 (7): 2004-2008. DOI: 10.11772/j.issn.1001-9081.2015.07.2004

摘要（504）

PDF （994KB）（376）

针对多线程并发程序生成覆盖同步语句的线程调度序列(TSS)效率低问题,提出了一种基于全同步对覆盖(APSC)准则的TSS生成(TGBA)方法。首先,对并发程序中的同步语句,定义了同步对及APSC;然后,给出了一个同步对-线程关联图(SPTG)构建方法;在此基础上,生成满足APSC的TSS;最后,使用JPF检测工具,对4个Java类库并发程序进行了TSS生成实验,并与常用的默认线程调度(DS)、抢占式线程调度(PS)和交叉线程调度(CS)序列生成方法在生成效率方面进行了对比分析。实验结果表明,与DS、CS方法相比,TGBA方法生成的TSS能够覆盖全部同步对;当满足APSC时,与PS方法相比,TGBA方法测试生成所需要的状态数、迁移数至少减少了19889和44352,并且生成效率平均提升了1.95倍,因此TGBA方法能够降低状态空间的规模开销,提高TSS的生成效率。

参考文献 | 相关文章 | 多维度评价

Select

3. 复杂网络零模型的量化评估

李欢, 卢罡, 郭俊霞

计算机应用 2015, 35 (6): 1560-1563. DOI: 10.11772/j.issn.1001-9081.2015.06.1560

摘要（894）

PDF （731KB）（447）

针对随机置乱算法生成复杂网络的零模型时,因不同阶次零模型成功置乱概率的差异导致难以准确判断零模型何时能够趋于稳定的问题,定义了"成功置乱次数"的概念,并提出使用"成功置乱次数"替代传统的"尝试置乱次数"进行算法设定。提出的成功置乱次数指标仅在随机选择的边满足相应阶次零模型的置乱条件从而被成功置乱后进行累加。各阶次零模型生成实验表明,使用该算法设定方式后各网络拓扑指标均能在较小的成功置乱次数范围内趋于稳定。进一步的量化分析表明,按阶次分别设定成功置乱次数为网络边数的2倍、1倍、1倍即可得到质量较好的0阶、1阶、2阶零模型。

参考文献 | 相关文章 | 多维度评价